#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

#ifdef REAL
int main(int argc, const char** const argv, const char **envp) {
#else
void mainX(int argc, const char** const argv, const char **envp) {
#endif
  printf("%d command line arguments\n",argc);
  int j;
  for (j=0; j<argc; j++) {
    printf("\targv[%d] is \"%s\"\n",j, argv[j]);
  }
  exit(0);
#ifdef REAL
  return 0;
#endif
}
